Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
861	A Note on Matrix Factorization for Collaborative Filtering Dawei Yin Department of Computer Science & Engineering, Lehigh University Bethlehem, PAUSA Add to Reading List Source URL: wume.cse.lehigh.edu Language: English - Date: 2013-04-27 23:31:05 Matrix theory Matrices Singular value decomposition Numerical linear algebra Eigendecomposition of a matrix Matrix Eigenvalues and eigenvectors Orthogonal matrix Symmetric matrix Algebra Linear algebra Mathematics
862	GlobAllomeTree Tutorial for the Fantallometrik Software Carlo Trotta, Matieu Henry, Michele Add to Reading List Source URL: www.globallometree.org Language: English - Date: 2013-06-27 12:36:39 Numerical software Computer algebra systems Allometry Biology Physiology Mathematica Tree allometry Mathematical software Science Application software
863	PDF Document Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2015-04-21 04:05:40 Polynomials Algebraic geometry Commutative algebra Computer algebra System of polynomial equations Finite field NP Time complexity Elliptic curve only hash Abstract algebra Mathematics Algebra
864	PREPRINT OF AN ARTICLE ACCEPTED FOR PUBLICATION IN IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 1 Cyclic Reduction Tridiagonal Solvers on GPUs Applied to Mixed Precision Multigrid Add to Reading List Source URL: www.mathematik.tu-dortmund.de Language: English - Date: 2010-12-20 08:00:38 Graphics hardware GPGPU Video cards Numerical analysis Numerical linear algebra Multigrid method Lis CUDA FLOPS Computing Software Computer hardware
865	Propositions as [Types] Steve Awodey∗ Andrej Bauer† Institut Mittag-Leffler Add to Reading List Source URL: andrej.com Language: English - Date: 2010-06-11 17:17:44 Proof theory Deduction Algebraic topology Curry–Howard correspondence Philosophy of computer science Type theory Entailment Sheaf Natural deduction Logic Abstract algebra Mathematics
866	PREPRINT OF AN ARTICLE ACCEPTED FOR PUBLICATION IN IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS 1 Cyclic Reduction Tridiagonal Solvers on GPUs Applied to Mixed Precision Multigrid Add to Reading List Source URL: www.mathematik.uni-dortmund.de Language: English - Date: 2010-12-20 08:00:38 Graphics hardware GPGPU Video cards Numerical analysis Numerical linear algebra Multigrid method Lis CUDA FLOPS Computing Software Computer hardware
867	A New Approach to Model Counting Wei Wei and Bart Selman Department of Computer Science Cornell University Ithaca, NY 14853 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2005-06-09 16:20:27 Constraint programming Logic in computer science Boolean algebra Automated theorem proving Mathematical logic Boolean satisfiability problem DPLL algorithm Local search Davis–Putnam algorithm Theoretical computer science Applied mathematics Mathematics
868	0000 Application for Summer Research Experience and International Collaborative Experiences with the IceCube Project Please complete the following application and email it to Add to Reading List Source URL: icecube.wisc.edu Language: English - Date: 2014-12-31 19:19:48 Computer algebra systems Numerical software Email Cross-platform software IceCube Neutrino Observatory Mathematica Mathcad Mathematical software Software Science
869	OpenMP for Clusters Lei Huang, Barbara Chapman University of Houston Add to Reading List Source URL: www.compunity.org Language: English - Date: 2007-10-15 03:41:03 Parallel computing Application programming interfaces Compilers Open64 OpenMP Numerical linear algebra Lis Unified Parallel C Fortran Computing Software Computer programming
870	Compositional Sentiment Analysis Stephen Pulman Dept. of Computer Science, Oxford University and TheySay Ltd , @sgpulman Add to Reading List Source URL: www.sentimentsymposium.com Language: English - Date: 2014-03-12 10:33:52 Abstract algebra Vectors Natural language processing Computational linguistics Sentiment analysis Treebank Vector space Euclidean vector Machine learning Algebra Mathematics Linear algebra

UPDATE